<?php

// Live coding. This should be ignored.
declare(
